Electronic Books

Total Books: 121 - 140 /177

Multiagent System Technologies (vol. # 3550)

After two successful MATES conferences in Erfurt 2003 and 2004, the 3rd G- man conference on Multi-agent System Technologies ...

Parallel and Distributed Computing: Applications and Technologies

The 2004 International Conference on Parallel and Distributed Computing, - plications and Technologies (PDCAT 2004) was the ...

Petri Nets and Other Models of Concurrency - ICATPN 2006

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets ...

Petri Nets and Other Models of Concurrency - ICATPN 2007

This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets ...

Principles and Practice of Semantic Web Reasoning (vol. # 3703)

Constitutes the refereed proceedings of the Third International Workshop on Principles and Practice of Semantic Web Reasoning, ...

Principles and Practice of Semantic Web Reasoning (vol. # 4187)

The papers in this volume represent the proceedings of the 4th International Workshop on Principles and Practice of Semantic ...

Principles of Security and Trust

This book presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and ...

Principles of Security and Trust

This volume contains the papers presented at POST 2018, the 7th Conference on Principles of Security and Trust, held April ...

Programming Languages and Systems (vol. # 4279)

This volume contains the proceedings of the 4th Asian Symposium on Progr- mingLanguagesandSystems(APLAS2006),whichtookplaceinSydney,Japan, ...

Rapid Integration of Software Engineering Techniques

RISE 2006 constituted an international forum for researchers and practitioners interestedintheadvancementandrapidapplicationofnovel,integrated,orpr-ticalsoftwareengineeringapproaches,beingpartofamethodologicalframework, ...

Rapid Integration of Software Engineering Techniques (vol. # 3475)

This paper reports on the experiences of integrating several Software Engineering techniques by the Rapid Prototyping group of ...

Rapid Integration of Software Engineering Techniques (vol. # 3943)

This book constitutes the thoroughly refereed postproceedings of the Second International Workshop on Rapid Integration of ...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

Relations and Kleene Algebra in Computer Science

This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...

Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

Reliable Software Technologies - Ada-Europe 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Reliable Software Technology – Ada-Europe 2005

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

Total Books: 121 - 140 /177